21. Building bridges: between mathematics and computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Lovasz, Loszlo, 8491-,Congresses ، Computer science-- Mathematics,Congresses ، Combinatorial analysis
رده :
QA
76
.
9
.
M35
.
B85
2008
22. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
پدیدآورنده : P. Martin-Lof, G Mints, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
23. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
I57
1988
24. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
385
25. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1988
26. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
27. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
28. Categorical methods in computer science : with aspects from topology
پدیدآورنده : H. Ehrig...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Categories )Mathematics(,Congresses ، Topology
رده :
QA
76
.
L28
Vol
.
393
29. Categorical methods in computer science : with aspects from topology
پدیدآورنده : H. Ehrig ... )et al.(, eds
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Computer science - Congresses,Categories )Mathematics( - Congresses,Topology - Congresses
رده :
QA
75
.
5C36
1989
30. Categorical methods in computer science : with aspects from topology
پدیدآورنده :
موضوع : ، Computer science - Congresses,، Categories )Mathematics( - Congresses,، Topology - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
31. Categories in Computer Science and Logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987
پدیدآورنده : John W. Gray and Andre Scedrov, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
رده :
QA
76
.
9
.
M35A57
1987
32. Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science-- Mathematics-- Congresses,، Categories )Mathematics(--Congresses
رده :
QA
76
.
9
.
M35
.
A47
1987
33. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )eds.(
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Computer science - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
S86
75
.
5
1991
34. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
پدیدآورنده :
موضوع : ، Computer science-- Congresses,، Categories )Mathematics(-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
35. Category theory and computer science: Paris, France, September 3-6, 1991, proceedings
پدیدآورنده : D.H. Pitt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
530
36. Category theory and computer science : 7th International conference, CTCS'97, S. Margheria Ligure, Italy, September 1997 : proceedings
پدیدآورنده : Eugenio Moggi, Giuseppe Rosolini )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
1290
37. Cellular Automata and Discrete Complex Systems
پدیدآورنده : \ [Edited by] Teijiro Isokawa...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشینهای خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
QA
267
.
5
.
C45
2015
E-Book
,
38. Cellular Automata and Discrete Complex Systems
پدیدآورنده : \ Jarkko Kari (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشینهای خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
QA
267
.
5
.
C45
2015
E-Book
,
39. Coalgebraic methods in computer science :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
40. Combinatorial Optimization and Applications
پدیدآورنده : \ [edited by] Zaixin Lu...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Combinatorial optimization -- Congresses.,Computer science -- Mathematics -- Congresses.,بهینهسازی ترکیبی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
QA
164
.
C6
2015
E-Book
,